An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties

The goal of this paper is to introduce a new constructive geometric proof the affine version Chevalley's Theorem. This algorithmic and verbatim implementation resulted in an efficient code for computing constructible image rational maps between varieties. Our approach extends known descriptions uniform matrix product states $\operatorname{uMPS}(2,2,5)$